//C12:12.7:rand0.c -- random number.
static unsigned long int next = 1;    // seed.

int rand0(void)
{
	next = next * 1103515245 + 12345;
	return (unsigned int)(next / 65536) % 32768;
}
